# to ma jakąś wartość więc nie wyrzucam tego jeszcze
src/IntPoly.agda
src/Wielomiany.agda
src/VI.agda
src/TestNieDoPchania.agda
src/UnivPolyFailed.agda
src/UnviP3.agda
showtree.sh

*.agdai
src/latex/*

praca-magisterska/*.aux
praca-magisterska/*.bbl
praca-magisterska/*.blg
praca-magisterska/*.gz
praca-magisterska/*.loa
praca-magisterska/*.lof
praca-magisterska/*.log
praca-magisterska/*.lot
praca-magisterska/*.mp
praca-magisterska/*.mps
praca-magisterska/*.out
praca-magisterska/*.swp
praca-magisterska/*.toc
praca-magisterska/*-eps-converted-to.pdf
praca-magisterska/*~
praca-magisterska/*.ptb

praca-magisterska/*.pdf

src/#*#
src/*.lagda
